(DEFPROP ALLPOS 
 (LAMBDA (C) (LIST (QUOTE NULL) (LIST (QUOTE CADAR) (CADR C)))) 
MACRO)

(DEFPROP ALLNEG 
 (LAMBDA (C) (LIST (QUOTE EQ) (LIST (QUOTE CADAR) (CADR C)) (LIST (QUOTE CDR) (CADR C)))) 
MACRO)

(DEFPROP ANCESTOR 
 (LAMBDA (X) (LIST (QUOTE CDDDAR) (CADR X))) 
MACRO)

(DEFPROP SEARCH1 
 (LAMBDA (X) (LIST (QUOTE SEARCH2) (CADR X) (CADDR X) NIL)) 
MACRO)

(DEFPROP CONST 
 (LAMBDA (X) (LIST (QUOTE NULL) (LIST (QUOTE CDR) (CADR X)))) 
MACRO)

(DEFPROP HERE 
 (LAMBDA (X) (LIST (QUOTE CAAR) (CADR X))) 
MACRO)

(DEFPROP VAR 
 (LAMBDA (L) (LIST (QUOTE NUMBERP) (CADR L))) 
MACRO)

(DEFPROP ISCLS 
 (LAMBDA (L) (LIST (QUOTE EQ) (CADR L) 1)) 
MACRO)

(DEFPROP ISCL 
 (LAMBDA (L) (LIST (QUOTE EQ) (CADR L) 2)) 
MACRO)

(DEFPROP ISLIT 
 (LAMBDA (L) (LIST (QUOTE EQ) (CADR L) 3)) 
MACRO)

(DEFPROP ISTRM 
 (LAMBDA (L) (LIST (QUOTE EQ) (CADR L) 4)) 
MACRO)

(DEFPROP MKWRD 
 (LAMBDA (L) (LIST (QUOTE CDDAR) (CADR L))) 
MACRO)

(DEFPROP NEG 
 (LAMBDA (X) (LIST (QUOTE EQ) (QUOTE ESCAPE) (LIST (QUOTE CAR) (CADR X)))) 
MACRO)

(DEFPROP NEGBIT 
 (LAMBDA (X) (LIST (QUOTE CDDAAR) (CADR X))) 
MACRO)

(DEFPROP POS 
 (LAMBDA (X) (LIST (QUOTE NOT) (LIST (QUOTE NEG) (CADR X)))) 
MACRO)

(DEFPROP POSBIT 
 (LAMBDA (X) (LIST (QUOTE CADAAR) (CADR X))) 
MACRO)

(DEFPROP SEARCH 
 (LAMBDA (X) (LIST (QUOTE SEARCH2) (CADR X) (CADDR X) (CADR X))) 
MACRO)

(DEFPROP NEGL 
 (LAMBDA (C) (LIST (QUOTE CADAR) (CADR C))) 
MACRO)